The experimental mathematician : the pleasure of discovery and the role of proof

Title: The experimental mathematician : the pleasure of discovery and the role of proof
Creator: Borwein, Jonathon M.
Relation: International Journal of Computers for Mathematical Learning Vol. 10, Issue 2, p. 75-108
Publisher Link: http://dx.doi.org/10.1007/s10758-005-5216-x
Publisher: Springer
Resource Type: journal article
Date: 2005
Description: The emergence of powerful mathematical computing environments, the growing availability of correspondingly powerful (multi-processor) computers and the pervasive presence of the internet allow for mathematicians, students and teachers, to proceed heuristically and ‘quasi-inductively’. We may increasingly use symbolic and numeric computation, visualization tools, simulation and data mining. The unique features of our discipline make this both more problematic and more challenging. For example, there is still no truly satisfactory way of displaying mathematical notation on the web; and we care more about the reliability of our literature than does any other science. The traditional role of proof in mathematics is arguably under siege – for reasons both good and bad.
Subject: aesthetics; constructivism; experimental mathematics; humanist philosophy; insight; integer relations; proof
Identifier: http://hdl.handle.net/1959.13/940740
Identifier: uon:13092
Identifier: ISSN:1382-3892
Language: eng
Reviewed

		Thumbnail	File	Description	Size	Format